3

Foundations of the rule-based system ρLog

Year:
2006
Language:
english
File:
PDF, 195 KB
english, 2006
8

Deduction and Presentation in ρLog

Year:
2004
Language:
english
File:
PDF, 289 KB
english, 2004
9

An open environment for cooperative equational solving

Year:
2001
Language:
english
File:
PDF, 572 KB
english, 2001
10

On the computation of quotients and factors of regular languages

Year:
2010
Language:
english
File:
PDF, 216 KB
english, 2010
17

From a dynamical system of the knee to natural jet geometrical objects

Year:
2013
Language:
english
File:
PDF, 614 KB
english, 2013
20

PLM System for Complex-Shape Aircraft Gas Turbine Parts

Year:
2012
Language:
english
File:
PDF, 483 KB
english, 2012
21

Regular expression order-sorted unification and matching

Year:
2015
Language:
english
File:
PDF, 662 KB
english, 2015
26

CLP(H): Constraint logic programming for hedges

Year:
2016
Language:
english
File:
PDF, 195 KB
english, 2016